#menu {
	color: white;
	height: 70px;
	background-image: url("#{resource['images:background.png']}");
	border-bottom-width: 2px;
	border-bottom-style: groove;
	border-bottom-color: white;
}

.user_program,.user_tickets,.user_change_password,.user_exit,.user_add,.admin
	{
	color: white;
	font-size: 14px;
	text-decoration: none;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}

.user_name {
	color: red;
	font-size: 14px;
	text-decoration: none;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}

.user_program_icon,.user_tickets_icon,.user_change_password_icon,.user_exit_icon,.user_add_icon,.admin_icon
	{
	padding-left: 30px;
	padding-right: 5px;
}